Weighted logics for artificial intelligence - an introductory discussion
نویسندگان
چکیده
Before presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas. URL http://www.sciencedirect.com/science/article/pii/S0888613X14001364 [4] Source URL: https://www.iiia.csic.es/en/node/53918 Links [1] https://www.iiia.csic.es/en/staff/didier-dubois [2] https://www.iiia.csic.es/en/staff/llu%C3%ADs-godo [3] https://www.iiia.csic.es/en/staff/henri-prade [4] http://www.sciencedirect.com/science/article/pii/S0888613X14001364
منابع مشابه
Working Papers of the IJCAI - 2015 Workshop on Weighted Logics for Artificial Intelligence WL 4 AI - 2015 July 27 , 2015 Buenos Aires ( Argentina )
Argumentation can be modelled at an abstract level using an argument graph (i.e. a directed graph where each node denotes an argument and each arc denotes an attack by one argument on another). Since argumentation involves uncertainty, it is potentially valuable to consider how this can quantified in argument graphs. In this talk, we will consider two probabilistic approaches for modeling uncer...
متن کاملAn Overview of the Artificial Intelligence Applications in Identifying and Combating the Covid-19 Pandemic
Intruduction: In late 2019, people around the world became infected with Covid-19 by the outbreak, the pandemy and epidemy of this disease. To this end, researchers in various fields are seeking to find solutions to the problems related to the control and management of crises. The transmission power of the new corona virus has drawn the attention of experts in the use of artificial intelligence...
متن کاملSpecifying and Verifying Distributed Intelligent Systems
This paper describes first steps towards the formal specification and verification of Distributed Artificial Intelligence (DAI) systems, through the use of temporal belief logics. The paper first describes Concurrent METATEM, a programming language for DAI, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifyi...
متن کاملMulti-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221)
This report documents the program and the outcomes of Dagstuhl Seminar 15221 “Multi-disciplinary Approaches to Reasoning with Imperfect Information and Knowledge – a Synthesis and a Roadmap of Challenges”. This multi-disciplinary seminar brought together researchers from computer science, philosophy and psychology dealing with topics of rational reasoning, reasoning with imperfect information a...
متن کاملWorking Papers of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence
Quantifiers have the ability of summarizing the properties of a class of objects without enumerating them. This talk introduces a framework for modeling quantifiers in natural languages in which each linguistic quantifier is represented by a family of non-additive measures, and the truth value of a quantified proposition is evaluated by using Sugeno’s integral. Some elegant logical properties o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Approx. Reasoning
دوره 55 شماره
صفحات -
تاریخ انتشار 2014